Nuprl Definition : ifthenelse
13,42
postcript
pdf
if
b
then
t
else
f
fi == case
b
of inl(
) =>
t
| inr(
) =>
f
latex
Up
bool
1
,
bool
1
Wellformedness Lemmas
ifthenelse
wf
,
ifthenelse
wf
Definitions
case
b
of inl(
x
) =>
s
(
x
) | inr(
y
) =>
t
(
y
)
FDL editor aliases
ifthenelse
origin